منابع مشابه
The Food Processor II
The late 1 980s were characterized by a growing awareness of the role of nutrition in health, resulting in the proliferation of a number of software packages designed to expedite dietary analysis. At one end of the spectrum are moderately priced packages designed primarily for the consumer with a personal interest in nutrition; at the other end are more expensive packages which are more appropr...
متن کاملTowards Automatic Parallelisation for Multi-Processor DSPs
This paper describes a preliminary compiler based approach to achieving high performance DSP applications by automatically mapping C programs to multi-processor DSP systems. DSP programs typically contain pointer based memory accesses making automatic parallelisation difficult. This paper presents a new method to convert a restricted class of pointer-based memory accesses into array accesses wi...
متن کاملAutomatic Generation of Invariants in Processor Verification
A central task in formal verification is the definition of invariants, which characterize the reachable states of the system. When a system is finitestate, invariants can be discovered automatically. Our experience in verifying microprocessors using symbolic logic is that finding adequate invariants is extremely time-consuming. We present three techniques for automating the discovery of some of...
متن کاملA Fully Automatic Burnt Area Mapping Processor Based on AVHRR Imagery - A TIMELINE Thematic Processor
The German Aerospace Center’s (DLR) TIMELINE project (“Time Series Processing of Medium Resolution Earth Observation Data Assessing Long-Term Dynamics in our Natural Environment”) aims to develop an operational processing and data management environment to process 30 years of National Oceanic and Atmospheric Administration (NOAA)—Advanced Very High-Resolution Radiometer (AVHRR) raw data into Le...
متن کاملA Fully Automatic Instantaneous Fire Hotspot Detection Processor Based on AVHRR Imagery - A TIMELINE Thematic Processor
The German Aerospace Center’s (DLR) TIMELINE project aims to develop an operational processing and data management environment to process 30 years of National Oceanic and Atmospheric Administration (NOAA)—Advanced Very High Resolution Radiometer (AVHRR) raw data into L1b, L2 and L3 products. This article presents the current status of the fully automated L2 active fire hotspot detection process...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for Research in Applied Science and Engineering Technology
سال: 2020
ISSN: 2321-9653
DOI: 10.22214/ijraset.2020.5442